using System;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Settings;

namespace Benchmarks
{
    [PexClass]
    public partial class InfeasibleTest
    {
        [PexMethod(TestEmissionFilter = PexTestEmissionFilter.All)]
        public void TestInfeasible(int i)
        {
            if (i > 5)
            {
                Console.WriteLine("1");
                if (i < 5)
                {
                    Console.WriteLine("2");
                }
                if (i < 5)
                {
                    Console.WriteLine("2");
                }
            }

            
        }
    }
}